Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
771	Calculus Ratiocinator, Characteristica Universalis: Bibliography Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:35:00 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Characteristica universalis Calculus ratiocinator Jaakko Hintikka Mathesis universalis Philosophy Mathematics Analytic philosophy
772	Calculus Ratiocinator, Characteristica Universalis: Bibliography Add to Reading List Source URL: www.ontologyasia.com Language: English - Date: 2013-12-06 06:46:47 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Characteristica universalis Calculus ratiocinator Jaakko Hintikka Mathesis universalis Philosophy Mathematics Analytic philosophy
773	Fast Approximate Search in Large Dictionaries Stoyan Mihov∗ Klaus U. Schulz† Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-20 11:46:47 Models of computation Computer science Mathematics Combinatorics on words Dynamic programming Levenshtein distance Levenshtein transducer Finite state transducer Regular language Automata theory Formal languages Theoretical computer science
774	11 The KAM Theorem John H. Hubbard Department of Mathematics, Cornell University, Ithaca, NY, USA http://www.math.cornell.edu/People/Faculty/hubbard.html [removed] Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 2008-09-22 20:24:16 Mathematical logic Logical syntax Philosophical logic Philosophy of language Theorems Kolmogorov–Arnold–Moser theorem Andrey Kolmogorov Mathematical proof Kam Mathematics Logic Science
775	Language as Calculus vs. Language as Universal Medium Add to Reading List Source URL: www.ontologymirror.com Language: English - Date: 2013-12-29 03:31:36 Philosophers of mathematics Gottfried Leibniz Philosophy of language Philosophical logic Analytic philosophers Calculus ratiocinator Characteristica universalis Begriffsschrift Gottlob Frege Logic Philosophy Mathematics
776	Towards a Trivialist Account of Mathematics Agust´ın Rayo mit March 12, 2009 The aim of this paper is to defend mathematical trivialism—the view that the truths of Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-03-12 08:37:42 Philosophical logic Philosophy of language Metalogic Propositions Philosophy of mathematics Truth Semantics Interpretation Model theory Logic Philosophy Logical syntax
777	Expressiveness of streaming string transducers Rajeev Alur1 and Pavol Černý[removed]University of Pennsylvania Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-12-13 12:13:47 Theoretical computer science Software engineering Models of computation Data types Primitive types Finite state transducer Finite-state machine Regular language String Formal languages Automata theory Mathematics
778	Existence and Predication: an Annotated Bibliography Add to Reading List Source URL: www.ontologyafrica.com Language: English - Date: 2013-12-07 03:29:13 Philosophical logic Philosophy of language Analytic philosophers Philosophers of mathematics Philosophy of mathematics Gottlob Frege Existence Philosophy of logic Sense and reference Philosophy Analytic philosophy Logic
779	On Specifying Truth-Conditions∗ Agust´ın Rayo Massachusetts Institute of Technology December 4, 2007 Consider a committalist—someone who believes that assertions of a sentence like ‘the number of the planets is 8 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2007-12-04 13:13:48 Predicate logic Model theory Philosophy of language Semantics First-order logic Function Proposition Constructible universe Quantification Logic Mathematical logic Mathematics
780	Philosophy and Phenomenological Research Philosophy and Phenomenological Research Vol. LXXXI No. 2, September 2010 2010 Philosophy and Phenomenological Research, LLC Add to Reading List Source URL: www.jimpryor.net Language: English - Date: 2012-12-08 09:29:54 Propositional calculus Predicate logic Philosophy of language Semantics Proposition Expression Free variables and bound variables Predicate Function Logic Mathematics Mathematical logic

UPDATE